Safety Verification and Validation Requisite for Field Test
نویسندگان
چکیده
منابع مشابه
Verification and Symbolic Test Generation for Safety Properties
This paper presents a combination of veri cation and conformance testing techniques for the formal validation of reactive systems A formal speci cation of a system an input output automaton with variables that may range over in nite domains is assumed Additionally a set of safety properties for the speci cation are given under the form of observers described in the same formalism Then each prop...
متن کاملOpening up the Verification and Validation of Safety-Critical Software
Smooth cross-border rail traffic is of important interest to commercial realizations of ETCS. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be an obstacle to standardizing rail traffic, the ITEA 2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC as a ta...
متن کاملDevelopment of the Roadside Safety Verification and Validation Program
The development of the Roadside Safety Verification and Validation Program (RSVVP) is described. The program is used to assess the similarities and differences between two curves and was developed to assist engineers and analysts in performing verification and validation activities. The program pre-processes the data by filtering, removing signal bias, re-sampling to the same data collection fr...
متن کاملVerification, Validation, and Test of Knowledge-Based Systems
WINTER 1992 77 ent from, and more difficult than, the problem of evaluating conventional software. One interesting issue concerned functional validation of KBS, the need (for many applications) to establish that KBS performs at a level comparable to human experts. Another issue concerned structural validation of KBS, given that the architecture of these systems (having separate knowledge base a...
متن کاملAutomating image segmentation verification and validation by learning test oracles
An Image Segmentation Algorithm is an algorithm that delineates (an) object(s) of interest in an image. The output of the image segmentation algorithm is referred to as a segmentation. Developing image segmentation algorithms is a manual, iterative process involving repetitive verification and validation tasks. This process is time-consuming and depends on the availability of medical experts, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Robotics Society of Japan
سال: 2016
ISSN: 0289-1824,1884-7145
DOI: 10.7210/jrsj.34.236